On the Computational Aspect of Rule Based Database Updates
نویسندگان
چکیده
We develop a general framework of rule based database update on the basis of prioritized logic programs. This approach has advantages in representing and handling information connict in updates. We then focus on the computational aspect of this approach. We show that under our framework, the model checking in an update is co-NP-complete, while the associated inference problem is P 2-complete. From a practical viewpoint, we propose two strategies to simplify an update speciication so that under some conditions, solving an update problem can be based on solving some smaller components of the original problem. Our experimental result shows that these strategies indeed signiicantly reduce the time cost of evaluating an update speciication.
منابع مشابه
Modelling Non Deterministic Queries and Updates in Deductive Databases
In this paper, we propose a new formalism to model and hnplement general, rule-based languages for querying or updating deductive databases. We consider as a target language a production rule language for. databases that we introduced in previous papers, namely RDLl. This language can be seen as an extension of a logic-based language for databases to support updates in the head of rules. The mo...
متن کاملData sanitization in association rule mining based on impact factor
Data sanitization is a process that is used to promote the sharing of transactional databases among organizations and businesses, it alleviates concerns for individuals and organizations regarding the disclosure of sensitive patterns. It transforms the source database into a released database so that counterparts cannot discover the sensitive patterns and so data confidentiality is preserved ag...
متن کاملA Super - Element Based on Finite Element Method for Latticed Columns Computational Aspect and Numerical Results
This paper presents a new super-element with twelve degrees of freedom for latticed columns. This elements is developed such that it behaves, with an acceptable approximation, in the same manner as a reference model does. The reference model is constructed by using many Solid elements. The cross section area, moments of inertia, shear coefficient and torsoinal rigidity of the developed new elem...
متن کاملA Super - Element Based on Finite Element Method for Latticed Columns Computational Aspect and Numerical Results
This paper presents a new super-element with twelve degrees of freedom for latticed columns. This elements is developed such that it behaves, with an acceptable approximation, in the same manner as a reference model does. The reference model is constructed by using many Solid elements. The cross section area, moments of inertia, shear coefficient and torsoinal rigidity of the developed new elem...
متن کامل